Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
201	On Resolution Proofs for Combinational Equivalence Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-07-30 11:55:07 Automated theorem proving Boolean algebra Propositional calculus Predicate logic Resolution Unit propagation Mathematical proof Davis–Putnam algorithm NP Logic Mathematical logic Mathematics
202	FIITJEE Solutions to IIT - JEE – 2008 (Paper – 2, Code−4) Time: 3 hours M. Marks: 243 Add to Reading List Source URL: www.fiitjee.com Language: English - Date: 2008-04-12 14:30:00 Sine Mathematical fallacy Proofs of trigonometric identities Proof that π is irrational Mathematics Trigonometry Mathematical analysis
203	Automated Extraction of Inductive Invariants to Aid Model Checking Michael L. Case Alan Mishchenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-07-30 11:40:19 Logic Inductive reasoning Mathematical induction Model checking Connectivity Graph theory Structural induction Mathematics Mathematical logic Mathematical proofs
204	PARTITION BIJECTIONS, A SURVEY IGOR PAK Abstract. We present an extensive survey of bijective proofs of classical partitions identities. While most bijections are known, they are often presented in a different, sometimes Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2002-10-24 19:32:21 Functions and mappings Combinatorics Bijective proof Partition Combinatorial proof Bijection Plane partition Mathematics Enumerative combinatorics Mathematical proofs
205	Regional Mathematical Olympiad Paper-2012 with Solutions Date: [removed] m Add to Reading List Source URL: www.pioneermathematics.com Language: English - Date: 2013-01-02 02:27:43 Circle Curves Pi Mathematical fallacy Proofs involving the Moore–Penrose pseudoinverse Geometry Mathematics Algebra
206	Programs from Proofs IV Programs from Proofs IV Programs from classical proofs via G¨ odel’s dialectica interpretation Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2011-05-27 18:07:14 Metalogic Dialectica interpretation First-order logic Constructible universe Curry–Howard correspondence Binomial coefficient Mathematical logic Proof theory Logic
207	Graphing Sine, Cosine and Tangent Functions[removed]To work properly, a solar panel must be placed so that sunlight falls on its surface Add to Reading List Source URL: spacemath.gsfc.nasa.gov Language: English - Date: 2011-05-05 16:20:45 Mathematical analysis Trigonometric functions Sine Proofs of trigonometric identities Polar coordinate system Trigonometry Mathematics Geometry
208	Learning Theory and Algorithms for Revenue Optimization in Second-Price Auctions with Reserve A. Proofs for learning guarantees A.1. Revenue formula The simple expression of the expected revenue (2) can be obtained as f Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-05-23 10:37:05 Algebraic geometry Field theory Valuation Finsler geometry Differential geometry Functional analysis Natural deduction Theorems and definitions in linear algebra Abstract algebra Mathematical analysis Geometry
209	IEEE TRANS. ON CONTROL OF NETWORK SYSTEMS, JUNE[removed]WITH PROOFS) 1 Convex Relaxation of Optimal Power Flow Part II: Exactness Add to Reading List Source URL: netlab.caltech.edu Language: English - Date: 2014-11-09 04:00:26 Linear programming Mathematics Applied mathematics Second-order cone programming Relaxation Duality Semidefinite programming Mathematical sciences Mathematical optimization Operations research Convex optimization
210	Notation ^ And _ Or How To Read and Do Mathematical Proofs Add to Reading List Source URL: people.ibest.uidaho.edu Language: English - Date: 2010-10-09 15:15:46 Prime number Mathematical induction Mathematics Mathematical logic Mathematical proofs

UPDATE